<html>
<head><meta charset="utf-8"><title>universes brain dump · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/universes.20brain.20dump.html">universes brain dump</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="200613158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/universes%20brain%20dump/near/200613158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/universes.20brain.20dump.html#200613158">(Jun 11 2020 at 22:05)</a>:</h4>
<p>I'm currently looking into fixing a bug that is preventing rust-analyzer from working on one of the crates I work on and it seems the issue is that rust-analyzer punted on dealing with universes</p>



<a name="200613164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/universes%20brain%20dump/near/200613164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/universes.20brain.20dump.html#200613164">(Jun 11 2020 at 22:05)</a>:</h4>
<p>issue for reference</p>



<a name="200613165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/universes%20brain%20dump/near/200613165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/universes.20brain.20dump.html#200613165">(Jun 11 2020 at 22:05)</a>:</h4>
<p><a href="https://github.com/rust-analyzer/rust-analyzer/issues/4800#issuecomment-642930546">https://github.com/rust-analyzer/rust-analyzer/issues/4800#issuecomment-642930546</a></p>



<a name="200613200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/universes%20brain%20dump/near/200613200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/universes.20brain.20dump.html#200613200">(Jun 11 2020 at 22:05)</a>:</h4>
<p>could I get a quick explanation of what universes are and when you'd encounter additional ones?</p>



<a name="200613271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/universes%20brain%20dump/near/200613271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/universes.20brain.20dump.html#200613271">(Jun 11 2020 at 22:06)</a>:</h4>
<p><a href="https://rustc-dev-guide.rust-lang.org/borrow_check/region_inference/placeholders_and_universes.html?highlight=universes#what-is-a-universe">https://rustc-dev-guide.rust-lang.org/borrow_check/region_inference/placeholders_and_universes.html?highlight=universes#what-is-a-universe</a></p>



<a name="200613476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/universes%20brain%20dump/near/200613476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jane Lusby <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/universes.20brain.20dump.html#200613476">(Jun 11 2020 at 22:08)</a>:</h4>
<p>awesome, ty</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>